pub fn checked_div(a : Double, b : Double) -> Double!ArithmeticError {
  ...
}

pub fn rethrow() -> Unit! {
  ...
}

pub fn catch_all() -> Double! {
  ...
}